Well-formed formula - PDFSEARCH.IO - Document Search Engine

Well-formed formula
Results: 322

#	Item
281	The SILK Language December 22, 2009 This version: Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2010-04-28 01:22:31 Metalogic Grammar Semantic Web Rule Interchange Format First-order logic Symbol Well-formed formula Knowledge representation and reasoning Semantics Logic Formal languages Logical syntax
282	[removed]Supplementary Notes: Higher-Order Logic Robert Harper Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-01-05 16:58:46 Propositional calculus Predicate logic Universal quantification First-order logic Well-formed formula Existential quantification Negation Intuitionistic logic Proposition Logic Mathematical logic Quantification
283	Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2005-08-09 12:26:52 Proof theory Automated theorem proving Propositional calculus Logic in computer science Hilbert system Proof calculus Combinatory logic Well-formed formula Deduction theorem Logic Mathematical logic Mathematics
284	Mathematical Logic Helmut Schwichtenberg Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2010-07-21 04:18:08 Predicate logic Propositional calculus Logical syntax Proof theory First-order logic Natural deduction Well-formed formula Atomic formula Intuitionistic logic Logic Mathematical logic Mathematics
285	Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2000-04-06 05:36:51 Metalogic Mathematical logic Formal languages Logical connective Constructible universe Well-formed formula Function Entailment Linear temporal logic Logic Mathematics Logical syntax
286	ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-11-05 20:24:12 Propositional calculus Proof theory Logical syntax First-order logic Monadic predicate calculus Decidability Well-formed formula Sequent calculus Proposition Logic Mathematical logic Predicate logic
287	1 An Overview of Linear Logic Programming Dale Miller Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2003-09-29 10:45:32 Proof theory Linear logic Logic programming Sequent Natural deduction Intuitionistic logic Cut-elimination theorem Interpretation Well-formed formula Logic Mathematical logic Mathematics
288	American Mineralogist, Volume 83, pages 126–132, 1998 A systematic approach to general and structure-type formulas for minerals Add to Reading List Source URL: www.minsocam.org Language: English - Date: 2001-12-31 09:10:24 Inosilicates Chemical nomenclature Pyroxene Spinel Inorganic chemistry Mineral Chemical formula Well-formed formula Silicate Chemistry Gemstones Mineralogy
289	American Mineralogist, Volume 83, pages 126–132, 1998 A systematic approach to general and structure-type formulas for minerals Add to Reading List Source URL: www.minsocam.org Language: English - Date: 2001-12-31 09:10:24 Inosilicates Chemical nomenclature Pyroxene Spinel Inorganic chemistry Mineral Chemical formula Well-formed formula Silicate Chemistry Gemstones Mineralogy
290	American Mineralogist, Volume 83, pages 126–132, 1998 A systematic approach to general and structure-type formulas for minerals Add to Reading List Source URL: www.minsocam.org Language: English - Date: 2001-12-31 09:10:24 Inosilicates Chemical nomenclature Pyroxene Spinel Inorganic chemistry Mineral Chemical formula Well-formed formula Silicate Chemistry Gemstones Mineralogy